Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
491	What’s the base case? 13 How Recursion Works Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computability theory Recursion Theory of computation Subroutines Computer programming Software engineering Computing
492	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
493	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
494	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
495	Part IV Recursion By now you’re very familiar with the idea of implementing a function by composing other functions. In effect we are breaking down a large problem into smaller parts. The idea of recursion—as usual, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:15 Computing Recursion Computability theory Theory of computation Mathematical logic There Was an Old Lady Who Swallowed a Fly FO Infinite loop Reduction Computer programming Theoretical computer science Programming idioms
496	Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-05-25 10:55:37 Functions and mappings Mixin Applied mathematics Lambda calculus Function Μ operator Calculus Mathematics Mathematical logic Computability theory
497	FerienAkademie[removed]Course ”Quantum computation” Quantum algorithm for Hilbert’s 10th problem Add to Reading List Source URL: yury.name Language: English - Date: 2006-01-02 14:44:12 Mathematical logic Theory of computation Computability theory Computational complexity theory Halting problem Diophantine equation Entscheidungsproblem Quantum computer Algorithm Theoretical computer science Mathematics Applied mathematics
498	Drawing Hands, by M. C. Escher (lithograph, 1948) 12 The Leap of Faith Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computing Computability theory Recursion Algorithm Factorial Mathematics Mathematical logic Theoretical computer science
499	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory
500	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics

UPDATE